Gian Carlo Meloni
نویسنده
چکیده
Axioms ruling linear negation have been investigated in the context of the complete semantics for distributive intuitionistic linear logic. Among these are the condition of being a dualizing element and the one of being a cyclic element. The motivation for analyzing other syntactic constraints comes from the observation that groupoids are models for classical linear logic. The analysis proceeds also in the opposite way: given semantic conditions, which could possibly hold in the canonical model of prime filters, equivalent syntactic conditions are found. Last, the relatioships among analyzed axioms are investigated, counterexamples are provided whenever there is no provability dependence.
منابع مشابه
Deep Mathematical Results Are The Ones That Connect Seemingly Unrelated Areas: Towards A Formal Proof Of Gian-Carlo Rota's Thesis
When is a mathematical result deep? At first glance, the answer to this question is subjective: what is deep for one mathematician may not sound that deep for another. A renowned mathematician Gian-Carlo Rota expressed an opinion that the notion of deepness is more objective that we may think: namely, that a mathematical statement is deep if and only if it connects two seemingly unrelated areas...
متن کاملLetters to the Editor, Volume 44, Number 3
MARCH 1997 NOTICES OF THE AMS 309 Three Lessons I Wish I Had Never Been Taught by Gian-Carlo Rota I have the greatest admiration for Gian-Carlo Rota’s mathematics, energy, talent, wit, personality, charisma, enthusiasm, and the list could (and perhaps should) be continued. However, the purpose of this letter is to point out that by publishing his “Ten Lessons I Wish I Had Been Taught” in the Ja...
متن کامل